Tootfinder

Tax Day reveals a major split in how Joe Biden and Donald Trump would govern (Associated Press)
https://apnews.com/article/trump-biden-income-taxes-irs-returns-filings-55d3031de64251169eb247f52430618d
http://www.memeorandum.com/240415/p10#a240415p10

Feeling old... #comic #games

You’ve got zero followers, aren’t following anyone, have no bio, no graphics/avatars, no posts, no replies, you joined Mastodon yesterday, and you want to follow me?
Not happening, dawg. Try again in six months…🤦🏼‍♂️

🔍 Have you ever found yourself scratching your head over counting rows in filtered data? It's a common struggle that can slow down your workflow and leave you feeling frustrated. 😩 I know this as it was happening to me not that long ago (like literally only a couple of weeks ago).
But fear not! There is an easy to replicate solution and I my newest YouTube video will guide you through it step by step. 💡 I show you how to effortlessly perform analysis of your datasets in Google Shee…

Ordered back to the office, top tech talent left instead, study finds
Return-to-office mandates at some of the most powerful tech companies
— Apple, Microsoft and SpaceX
— were followed by a spike in departures among the most senior, tough-to-replace talent,
according to a case study published last week by researchers at the University of Chicago and the University of Michigan.

Researchers drew on résumé data from People Data Labs to understand the impact that…

Ordered back to the office, top tech talent left instead, study finds
In the months following return-to-office mandates, an increased number of senior employees departed Apple, Microsoft and SpaceX, often to work for competitors.

The news abut needing new gas plants in the UK a couple of days ago, mostly missed the actual documents, linked below; they're pretty thorough - but more importantly the need for the replacement gas plants is the least interesting thing in them; failing to kill off marginal pricing is a bigger pain; but it does seem like they tried and found everything they tried failed; the best idea they have is a split pricing system that should make the marginal pricing better:

Review of electricity market arrangements (REMA): second consultation
This second consultation is an opportunity to provide feedback to government on the ongoing review of electricity market arrangements (REMA).

This https://arxiv.org/abs/2305.12601 has been replaced.
link: https://scholar.google.com/scholar?q=a

Simply typed convertibility is TOWER-complete even for safe lambda-terms
We consider the following decision problem: given two simply typed $λ$-terms, are they $β$-convertible? Equivalently, do they have the same normal form? It is famously non-elementary, but the precise complexity - namely TOWER-complete - is lesser known. One goal of this short paper is to popularize this fact. Our original contribution is to show that the problem stays TOWER-complete when the two input terms belong to Blum and Ong's safe $λ$-calculus, a fragment of the simply typed $λ$-cal…

You’ve got zero followers, aren’t following anyone, have no bio, no graphics/avatars, no posts, no replies, you joined Mastodon yesterday, and you want to follow me?
Not happening, dawg. Try again in six months…🤦🏼‍♂️

🔍 Have you ever found yourself scratching your head over counting rows in filtered data? It's a common struggle that can slow down your workflow and leave you feeling frustrated. 😩 I know this as it was happening to me not that long ago (like literally only a couple of weeks ago).
But fear not! There is an easy to replicate solution and I my newest YouTube video will guide you through it step by step. 💡 I show you how to effortlessly perform analysis of your datasets in Google Shee…

The news abut needing new gas plants in the UK a couple of days ago, mostly missed the actual documents, linked below; they're pretty thorough - but more importantly the need for the replacement gas plants is the least interesting thing in them; failing to kill off marginal pricing is a bigger pain; but it does seem like they tried and found everything they tried failed; the best idea they have is a split pricing system that should make the marginal pricing better:

Review of electricity market arrangements (REMA): second consultation
This second consultation is an opportunity to provide feedback to government on the ongoing review of electricity market arrangements (REMA).